Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
861	COMPLIANCE TO IEC60880 WITH SCADE 6 – DESIGN AND IMPLEMENTATION ASPECTS (ABSTRACT) Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2013-04-25 05:30:21 Safety Esterel Technologies Esterel IEC 61508 Computing Software engineering SIGNAL Functional Safety Software development process Hardware description languages Synchronous programming languages Formal methods
862	ANZ_ansys_advantage_magazine_6.25x4.5inch_RZ_2.indd Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2014-04-11 04:24:53 Embedded systems Computing Formal methods FADEC Turbomeca DO-178B Eurocopter AS350 Software development process Avionics software Avionics Technology Electronics
863	Enhancing Collaboration to Drive Results The Challenge A large national health insurer needed to recharge its IT software development lifecycle in order to increase solution quality and increase Add to Reading List Source URL: www.sdlcpartners.com Language: English - Date: 2014-11-06 09:48:43 Product management Software engineering Software project management Formal methods Methodology Software development process Agile management Systems development life-cycle Microsoft Solutions Framework Software development Project management Business
864	It all depends on the blades / Auf die Schaufeln kommt es an Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2014-09-26 02:32:45 Hardware description languages Synchronous programming languages Software Formal methods Technology Safety Lustre Software development Esterel Technologies Systems engineering
865	PDF Document Add to Reading List Source URL: testinginstitute.com Language: English - Date: 2015-05-07 08:52:06 Standards Software requirements Software project management Formal methods Agile software development Software development process Certification Acceptance testing Professional certification Software development Software testing Software
866	Programming with constraint solvers toward a shared infrastructure for code checking, angelic execution, debugging, and synthesis Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:02 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL X Window System Theoretical computer science Computing Software engineering
867	First-class labels for extensible rows Technical report: UU-CSDaan Leijen Institute of Information and Computing Sciences, Utrecht University P.O.Box, 3508 TB Utrecht, The Netherlands Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2005-04-26 18:48:58 Applied mathematics Formal methods Models of computation Computability theory System F Predicate Lambda calculus Function Unification Mathematics Type theory Theoretical computer science
868	Productive use of failure in formal methods Yuhui Lin, Gudmund Grov & Alan Bundy ARW Glasgow, 11 April 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:44 Theoretical computer science Rippling Mathematical proof Proof Automated theorem proving Mathematics Logic
869	Microsoft Word - GriffithThesis2.docx Add to Reading List Source URL: www.cs.montana.edu Language: English - Date: 2014-10-27 15:51:11 Knowledge Formal methods Software architecture Operations research Simulation Software development process Systems engineering process Technical debt Scientific modelling Science Software engineering Systems engineering